Wyniki
-
The quarrel theorem - First attempt to the Logic of Lie
B. Majcher
Bulletin of the Section of Logic , 19 /4 (1990) s. 139-146 -
Some remarks on Griss' logic of negationless intuitionistic mathematics
Ayda I. Arruda
Bulletin of the Section of Logic , 7 /2 (1978) s. 85 -
An alternative account of bringing about : with a pinch of relevance
I. L. Humberstone
Bulletin of the Section of Logic , 6 /3 (1977) -
A finitary I-equivalential logic not finitely equivalential
Pilar Dellunde i Clave
Bulletin of the Section of Logic , 24 /3 (1995) s. 120-122 -
Faces of monotonicity and wisdom formulas problem
Vladimir V. Rybakov, B. Fedorishin
Bulletin of the Section of Logic , 29 /4 (2000) s. 181-192 -
Some remarks on the logic of vagueness
Ayda I. Arruda, Elias H. Alves
Bulletin of the Section of Logic , 8 /3 (1979) s. 133-138 -
A semantical study of some systems of vagueness logic
Ayda I. Arruda, Elias H. Alves
Bulletin of the Section of Logic , 8 /3 (1979) s. 139-144 -
A mechanized decision procedure for non-classical logics: The program KRIPKE
Michael A. McRobbie, Paul B. Thistlewaite, Robert K. Meyer
Bulletin of the Section of Logic , 9 /4 (1980) s. 189-192